Software verification

Results: 1531



#Item
41

Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification

Add to Reading List

Source URL: proval.lri.fr

- Date: 2012-05-14 03:25:02
    42

    Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300

    Add to Reading List

    Source URL: lirias.kuleuven.be

      43

      Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

        44

        Compositional Algorithmic Verification of Software Product Lines Ina Schaefer1 , Dilian Gurov2 , and Siavash Soleimanifard2 1 2

        Add to Reading List

        Source URL: www.nada.kth.se

        - Date: 2011-09-12 13:20:20
          45

          Automatic Software Verification Spring Semester, 2015 Lecture 3: March 24, 2015 Lecturer: Prof. Mooly Sagiv

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2015-05-25 10:56:33
            46

            Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

            Add to Reading List

            Source URL: staff.um.edu.mt

            - Date: 2015-10-09 11:50:15
              47

              Noname manuscript No. (will be inserted by the editor) Proof Repositories for Compositional Verification of Evolving Software Systems Managing Change When Proving Software Correct

              Add to Reading List

              Source URL: einarj.at.ifi.uio.no

              - Date: 2016-10-06 03:02:24
                48

                Automatic Software Verification  Ex. 1: SAT and SMT  Due       Code 

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-03-31 11:59:58
                  49

                  Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures Huy Tran and Uwe Zdun Software Architecture Research Group University of Vienna, Austria. Email: huy.tran|uwe.zdun@univie

                  Add to Reading List

                  Source URL: eprints.cs.univie.ac.at

                  - Date: 2013-12-19 04:37:54
                    50

                    Lifelong Verification of Software Systems Christian Colombo Mark Micallef Gordon J. Pace

                    Add to Reading List

                    Source URL: staff.um.edu.mt

                    - Date: 2014-04-03 02:03:55
                      UPDATE